$\forall$$b$:$\mathbb{B}$. ($\neg_{b}$$b$) $\in$ $\mathbb{B}$